This is a short version of Lindström & Rabinowicz 1991.In earlier papers, we proposed a generalization of the AGM approach to belief revision. The proposal was to view belief revision as a relation rather than as a function on theories (or belief sets). Going relational means that one allows for several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural (...) result of generalizing in a certain way an approach to belief revision due to Adam Grove. In his (1988) paper, Grove presented two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results if one allows that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)

The standard theory for belief revision provides an elegant and powerful framework for reasoning about how a rational agent should change its beliefs when confronted with new information. However, the agents considered are extremely idealized. Some recent models attempt to tackle the problem of plausible belief revision by adding structure to the belief bases and using nonstandard inference operations. One of the key ideas is that not all of an agent's beliefs are relevant for an (...) operation of belief change.In this paper we incorporate the insights pertaining to local change and relevance sensitivity with the use of approximate inference relations. These approximate inference relations offer us partial solutions at any stage of the revision process. The quality of the approximations improves as we allow for more and more resources to be used. We are provided with upper and lower bounds to what would be obtained with the use of classical inference. (shrink)

The principle of compositionality claims that the content of a complex concept is determined by its constituent concepts and the way in which they are composed. However, for prototype concepts this principle is often too rigid. Blurring the division between conceptual composition and belief update has therefore been suggested. Inspired by this idea, we develop a normative account of how belief revision and meaning composition should interact in modifications such as “red apple” or “pet hamster”. We do (...) this by combining the well-known selective modification model :485–527 1988) with the rules of Bayesian belief update. Moreover, we relate this model to systems of defeasible reasoning as discussed in the field of artificial intelligence. (shrink)

In this paper we forge a connection between dynamic epistemic logics of belief revision on one hand and studies of collective judgement and multi-agent preference change on the other. Belief revision in the spirit of dynamic epistemic logic uses updating with relational substitutions to change the beliefs of individual agents. Collective judgement in social choice theory studies the collective outcomes of individual belief changes. We start out from the logic of communication and change (LCC), (...) which is basically epistemic propositional dynamic logic (PDL) extended with update action modalities. We show how epistemic PDL can be made to handle belief operators. Our new version of epistemic/doxastic PDL does not impose any constraints on the basic relations. Because of this it does not suffer from the drawback of LCC that constraints on epistemic relations, such as transitivity and reflexivity, may get lost under updates that are admitted by the system. After introducing the base system without constraints, we study the effects of imposing a single constraint, namely the constraint that the agent’s preference relations are linked. Linkedness is a natural extension of local connectedness to the multi-agent case. It assures that if Alice prefers y to x and Bob prefers z to x, then both Alice and Bob can make up their minds when given a choice between y and z. Since general belief changes may not preserve linkedness, we propose a recipe for belief change that does preserve it. Finally, we show that the resulting framework can be used to model consensus seeking procedures. We focus on the case of plenary Dutch meetings. In Dutch meetings, a belief change (or rather: preference change) is performed for all agents in the meeting if a majority believes (or: is in favour of) the proposition that is under discussion. A special case of these meetings is judgement aggregation, and we apply our framework to the discursive dilemma in.. (shrink)

Belief revision theories aim to model the dynamics of epistemic states. Besides beliefs, epistemic states comprise most importantly justificational structures. Typically, belief revision theories, however, model the dynamics of beliefs while neglecting justificational structures over and above logical relations. Despite some awareness that this approach is problematic, how devastating the consequences of this neglect are has not yet been fully grasped. In this paper, I argue that taking justificational structures into account could solve four (...) well-known problems of belief revision. (shrink)

In [11] it is shown how propositional dynamic logic (PDL) can be interpreted as a logic of belief revision that extends the logic of communication and change (LCC) given in [7]. This new version of epistemic/doxastic PDL does not impose any constraints on the basic relations and because of this it does not suffer from the drawback of LCC that these constraints may get lost under updates that are admitted by the system. Here, we will impose one constraint, (...) namely that the agent’s plausibility relations are linked. Linkedness is a natural extension of local connectedness to the multi-agent case and it assures that we know the agent’s preferences between all relevant alternatives. Since the belief updates that are used in [11] may not preserve linkedness, we limit ourselves to a particular kind of belief change that does preserve it. Our framework has obvious connections to coalition logic [17] and social choice theory [19]. We show how we can use it to model consensus seeking in plenary Dutch meetings. In Dutch meetings, a belief update is done for all agents in the meeting if a majority beliefs the proposition that is under discussion. A special case of these meetings is judgement aggregation, and we apply our framework to the discursive dilemma in this field [15]. (shrink)

This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations are read as preferences instead of plausibilities. Our point of departure is the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and (...) belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief change as relation substitution, and we show that the update part of this logic is more expressive than either that of LCC or that of epistemic/doxastic PDL with a belief change modality. Next, we show that the properties of knowledge and belief are preserved under any update, unlike in LCC. We prove completeness of the logic and give examples of its use. If there is time, we will also look at the preference interpretation of the system, and at preference change scenarios that can be modelled with it. (shrink)

AGM-theory, named after its founders Carlos Alchourrón, Peter Gärdenfors and David Makinson, is the leading contemporary paradigm in the theory of belief-revision. The theory is reformulated here so as to deal with the central relational notions 'J is a contraction of K with respect to A' and 'J is a revision of K with respect to A'. The new theory is based on a principal-case analysis of the domains of definition of the three main kinds of (...) theory-change (expansion, contraction and revision). The new theory is stated by means of introduction and elimination rules for the relational notions. In this new setting one can re-examine the relationship between contraction and revision, using the appropriate versions of the so-called Levi and Harper identities. Among the positive results are the following. One can derive the extensionality of contraction and revision, rather than merely postulating it. Moreover, one can demonstrate the existence of revision-functions satisfying a principle of monotonicity. The full set of AGM-postulates for revision-functions allow for completely bizarre revisions. This motivates a Principle of Minimal Bloating, which needs to be stated as a separate postulate for revision. Moreover, contractions obtained in the usual way from the bizarre revisions, by using the Harper identity, satisfy Recovery. This provides a new reason (in addition to several others already adduced in the literature) for thinking that the contraction postulate of Recovery fails to capture the Principle of Minimal Mutilation. So the search is still on for a proper explication of the notion of minimal mutilation, to do service in both the theory of contraction and the theory of revision. The new relational formulation of AGM-theory, based on principal-case analysis, shares with the original, functional form of AGM-theory the idealizing assumption that the belief-sets of rational agents are to be modelled as consistent, logically closed sets of sentences. The upshot of the results presented here is that the new relational theory does a better job of making important matters clear than does the original functional theory. A new setting has been provided within which one can profitably address two pressing questions for A GM-theory: (1) how is the notion of minimal mutilation (by both contractions and revisions) best analyzed? and (2) how is one to rule out unnecessary bloating by revisions? (shrink)

The well known AGM framework for belief revision has recently been extended to include a model of the research agenda of the agent, i.e. a set of questions to which the agent wishes to find answers (Olsson & Westlund in Erkenntnis , 65 , 165–183, 2006 ). The resulting model has later come to be called interrogative belief revision . While belief revision has been studied extensively from the point of view of (...) modal logic, so far interrogative belief revision has only been dealt with in the metalanguage approach in which AGM was originally presented. In this paper, I show how to model interrogative belief revision in a modal object language using a class of operators for questions. In particular, the solution I propose will be shown to capture the notion of K-truncation , a method for agenda update in the case of expansion constructed by Olsson & Westlund. Two case studies are conducted: first, an interrogative extension of Krister Segerberg’s system DDL, and then a similar extension of Giacomo Bonanno’s modal logic for belief revision. Sound and complete axioms will be provided for both of the resulting logics. (shrink)

In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a (...) certain way an approach to belief revision due to Adam Grove. In his (1988) paper, Grove presents two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as being represented by sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). To put it differently, fallbacks are theories that are closed upwards under entrenchment The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results from weakening epistemic entrenchment by not assuming it to be connected. I.e., we want to allow that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)

Most approaches to iterated belief revision are accompanied by some motivation for the use of the proposed revision operator (or family of operators), and typically encode enough information in the epistemic state of an agent for uniquely determining one-step revision. But in those approaches describing a family of operators there is usually little indication of how to proceed uniquely after the first revision step. In this paper we contribute towards addressing that deficiency by providing a (...) formal framework which goes beyond the first revision step in two ways. First, the framework is obtained by enriching the epistemic state of an agent starting from the following intuitive idea: we associate to each world x two abstract objects x⁺ and x⁻, and we assume that, in addition to preferences over the set of worlds, we are given preferences over this set of objects as well. The latter can be considered as meta-information encoded in the epistemic state which enables us to go beyond the first revision step of the revision operator being applied, and to obtain a unique set of preferences over worlds. We then extend this framework to consider, not only the revision of preferences over worlds, but also the revision of this extended structure itself. We look at some desirable properties for revising the structure and prove the consistency of these properties by giving a concrete operator satisfying all of them. Perhaps more importantly, we show that this framework has strong connections with two other types of constructions in related areas. Firstly, it can be seen as a special case of preference aggregation which opens up the possibility of extending the frame-work presented here into a full-fledged framework for preference aggregation and social choice theory. Secondly, it is related to existing work on the use of interval orderings in a number of different contexts. (shrink)

This thesis proposes and presents two new models for belief representation and belief revision. The first model is the B-structures model which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit (...) beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and belief base revision are obtained. ;The second model presents a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the conclusion and formulas in the sequence. The relevance relations are ternary as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely representable formalism and a plausible model of reasoning for automated agents. (shrink)

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show (...) how various abstract postulates for belief revision can be analyzed by standard modal frame correspondences for model-changing operations. (shrink)

We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form (sd-DNNF), then for any consistent set of literals S, we can simultaneously count (in time linear in the size of Δ) the models of Δ ∪ S and the models of every theory Δ ∪ T where (...) T results from adding, removing or flipping a literal in S. We present two results relating to the time and space complexity of compiling propositional theories into sd-DNNF. First, we show that if a conjunctive normal form (CNF) has a bounded treewidth, then it can be compiled into an sd-DNNF in time and space which are linear in its size. Second, we show that sd-DNNF is a strictly more space efficient representation than Free Binary Decision Diagrams (FBDDs). Finally, we discuss some applications of the counting results to truth maintenance systems, belief revision, and model-based diagnosis. (shrink)

Epistemic conditionals have often been thought to satisfy the Ramsey test : If A, then B is acceptable in a belief state G if and only if B should be accepted upon revising G with A. But as Peter Gärdenfors has shown, RT conflicts with the intuitively plausible condition of Preservation on belief revision. We investigate what happens if RT is retained while Preservation is weakened, or vice versa. We also generalize Gärdenfors' approach by treating belief (...) revision as a relation rather than as a function.In our semantic approach, the same relation is used to model belief revision and to give truth-conditions for conditionals. The approach validates a weak version of the Ramsey Test — essentially, a restriction of RT to maximally consistent belief states. (shrink)

In ‘belief revision’ a theory is revised with a formula φ resulting in a revised theory . Typically, is in , one has to give up belief in by a process of retraction, and φ is in . We propose to model belief revision in a dynamic epistemic logic. In this setting, we typically have an information state (pointed Kripke model) for the theory wherein the agent believes the negation of the revision (...) formula, i.e., wherein is true. The revision with φ is a program *φ that transforms this information state into a new information state. The transformation is described by a dynamic modal operator [*φ], that is interpreted as a binary relation [ [*φ] ] between information states. The next information state is computed from the current information state and the belief revision formula. If the revision is successful, the agent believes φ in the resulting state, i.e., Bφ is then true. To make this work, as information states we propose ‘doxastic epistemic models’ that represent both knowledge and degrees of belief. These are multi-modal and multi-agent Kripke models. They are constructed from preference relations for agents, and they satisfy various characterizable multi-agent frame properties. Iterated, revocable, and higher-order belief revision are all quite natural in this setting. We present, for an example, five different ways of such dynamic belief revision. One can also see that as a non-deterministic epistemic action with two alternatives, where one is preferred over the other, and there is a natural generalization to general epistemic actions with preferences. (shrink)

This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reasoning they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of (...) defeasible reasoning and on the other hand pointing out open issues and potential directions for future research. (shrink)

We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form, then for any consistent set of literals S, we can simultaneously count the models of Δ ∪ S and the models of every theory Δ ∪ T where T results from adding, removing or flipping a literal (...) in S. We present two results relating to the time and space complexity of compiling propositional theories into sd-DNNF. First, we show that if a conjunctive normal form has a bounded treewidth, then it can be compiled into an sd-DNNF in time and space which are linear in its size. Second, we show that sd-DNNF is a strictly more space efficient representation than Free Binary Decision Diagrams. Finally, we discuss some applications of the counting results to truth maintenance systems, belief revision, and model-based diagnosis. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

In ‘belief revision’ a theory\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document} is revised with a formula φ resulting in a revised theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}\ast\varphi$$\end{document}. Typically, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\neg\varphi$$\end{document} is in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document}, one has to give up belief in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\neg\varphi$$\end{document} (...) by a process of retraction, and φ is in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}\ast\varphi$$\end{document}. We propose to model belief revision in a dynamic epistemic logic. In this setting, we typically have an information state (pointed Kripke model) for the theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document} wherein the agent believes the negation of the revision formula, i.e., wherein \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$B\neg\varphi$$\end{document} is true. The revision with φ is a program *φ that transforms this information state into a new information state. The transformation is described by a dynamic modal operator [*φ], that is interpreted as a binary relation [ [*φ] ] between information states. The next information state is computed from the current information state and the belief revision formula. If the revision is successful, the agent believes φ in the resulting state, i.e., Bφ is then true. To make this work, as information states we propose ‘doxastic epistemic models’ that represent both knowledge and degrees of belief. These are multi-modal and multi-agent Kripke models. They are constructed from preference relations for agents, and they satisfy various characterizable multi-agent frame properties. Iterated, revocable, and higher-order belief revision are all quite natural in this setting. We present, for an example, five different ways of such dynamic belief revision. One can also see that as a non-deterministic epistemic action with two alternatives, where one is preferred over the other, and there is a natural generalization to general epistemic actions with preferences. (shrink)

It is now well known that, on pain of triviality, the probability of a conditional cannot be identified with the corresponding conditional probability [25]. This surprising impossibility result has a qualitative counterpart. In fact, Peter Gärdenfors showed in [13] that believing ‘If A then B’ cannot be equated with the act of believing B on the supposition that A — as long as supposing obeys minimal Bayesian constraints. Recent work has shown that in spite of these negative results, the question (...) ‘how to accept a conditional?’ has a clear answer. Even if conditionals are not truth-carriers, they do have precise acceptability conditions. Nevertheless most epistemic models of conditionals do not provide acceptance conditions for iterated conditionals. One of the main goals of this essay is to provide a comprehensive account of the notion of epistemic conditionality covering all forms of iteration. First we propose an account of the basic idea of epistemic conditionality, by studying the conditionals validated by epistemic models where iteration is permitted but not constrained by special axioms. Our modeling does not presuppose that epistemic states should be represented by belief sets (we only assume that to each epistemic state corresponds an associated belief state). A full encoding of the basic epistemic conditionals (encompassing all forms of iteration) is presented and a representation result is proved. In the second part of the essay we argue that the notion of change involved in the evaluation of conditionals is suppositional, and that such notion should be distinguished from the notion of updating (modelled by AGM and other methods). We conclude by considering how some of the recent modellings of iterated change fare as methods for iterated supposing. (shrink)

Explanation and understanding are intimately connected notions, but the nature of that connection has generally not been considered a topic worthy of serious philosophical investigation. Most authors have avoided making reference to the notion of understanding in their accounts of explanation because they fear that any mention of the epistemic states of the individuals involved compromises the objectivity of explanation. Understanding is a pragmatic notion, they argue, and pragmatics should be kept at a safe distance from the universal features of (...) explanation. My main contention in this dissertation is that there is a sense in which it is meaningful and useful to talk about objective understanding, and that to characterize this notion it is necessary to formulate an account of objective explanation that makes reference to the beliefs and epistemic goals of the participants in a cognitive enterprise. ;My account of explanation is based on the belief-doubt model of inquiry first proposed by Peirce. Using the tools provided by decision theory, and the models of belief revision developed by Isaac Levi and by Alchourron, Gardenfors, and Makinson, I analyze the objective and pragmatic conditions that a piece of information must fulfill to be both explanatory and epistemically useful to an inquiring agent. The objective basis for an explanation is provided by the relation of probabilistic relevance that the fact described by the explanans bares to the fact described by the explanandum. But an explanation is much more than its foundation. As an epistemological notion, a potential explanation can only be a bona fide explanation if it becomes part of inquiry, that is, if an agent or a group of agents can see any value in it for their cognitive purposes. I provide a way to evaluate an explanation in terms of its credibility, its content, and its explanatory value. I argue that although an objective measure of the credibility and content of an explanation can be established, in many cases a complete determination of its explanatory value will ultimately depend on the interests and goals of the individual inquirers. (shrink)

"Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. -/- Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief Revision (...) systems. It explores the concept of paraconsistency from the standpoint of epistemic attitudes of acceptance and rejection. -/- This work challenges the traditional notion that accepting a new belief requires retracting its negation from the current epistemic state. The author contends that such reflexive retraction goes against the principle of informational economy, which is a crucial aspect of rationality in the context of belief change. Consequently, the phenomenon of paraconsistency is further examined from this fresh perspective of belief change, shedding light on the complexities of the Logics of Formal Inconsistency (LFIs). These LFIs provide the foundational logic, offering a comprehensive framework for understanding and implementing paraconsistent principles within belief revision systems. -/- This thesis was supervised by Marcelo Esteban Coniglio and co-supervised by Márcio Moretto Ribeiro, as part of Rafael Rodrigues Testa's doctoral studies at the University of Campinas (Unicamp), Brazil. (shrink)

We examine carefully the rationale underlying the approaches to belief change taken in the literature, and highlight what we view as methodological problems. We argue that to study belief change carefully, we must be quite explicit about the ontology or scenario underlying the belief change process. This is something that has been missing in previous work, with its focus on postulates. Our analysis shows that we must pay particular attention to two issues that have often been taken (...) for granted: the first is how we model the agent's epistemic state. (Do we use a set of beliefs, or a richer structure, such as an ordering on worlds? And if we use a set of beliefs, in what language are these beliefs are expressed?) We show that even postulates that have been called beyond controversy are unreasonable when the agent's beliefs include beliefs about her own epistemic state as well as the external world. The second is the status of observations. (Are observations known to be true, or just believed? In the latter case, how firm is the belief?) Issues regarding the status of observations arise particularly when we consider iterated belief revision, and we must confront the possibility of revising by and then by ¬. (shrink)

in UndeterminedInterrogative belief revision is a relatively recent framework for belief revision theory, in which the epistemic state of an agent includes a representation of that agent's research agenda, i.e. the set of questions the agent wants to have answers to. This added structure opens new possibilites for various types of epistemic change that cannot be distinguished in traditional belief revision. In this article I use the so-called 'action model' approach known from the (...) literature on dynamic epistemic logic to provide a unified framework in which we can reason about these various types of epistemic changes. I show how to model some natural examples of epistemic changes involving change of the research agenda in this framework. The action models give rise to a dynamic logic which is proven to be decidable. (shrink)

The replicability and importance of the correlation between cognitive style and religious belief have been debated. Moreover, the literature has not examined distinct psychological accounts of this relationship. We tested the replicability of the correlation (N = 5284; students and broader samples of Canadians, Americans, and Indians); while testing three accounts of how cognitive style comes to be related to belief in God, karma, witchcraft, and to the belief that religion is necessary for morality. The first, the (...) dual process model, posits that analytical thinking is recruited in overriding intuitions related to supernatural beliefs. The second, the expressive rationality model, posits that analytical thinking is recruited in supporting already-held beliefs in an identity-protective manner. And the third, the counter-normativity rationality model, posits that analytical thinking is recruited to question beliefs supported by prevailing cultural norms. In Study 2, we tested the replicability of our results in a re-analysis of published data. The association between analytic thinking style and beliefs was replicated. We conclude that whereas the counter-normativity rationality model was contradicted by the data, both the dual process and expressive rationality models received varying degrees of empirical support, but neither model fully accounted for all the patterns in the data. (shrink)

The AGM paradigm for belief revision provides a very elegant and powerful framework for reasoning about idealized agents. The paradigm assumes that the modeled agent is a perfect reasoner with infinite memory. In this paper we propose a framework to reason about non-ideal agents that generalizes the AGM paradigm. We first introduce a structure to represent an agent's belief states that distinguishes different status of beliefs according to whether or not they are explicitly represented, whether they are (...) currently active and whether they are fully accepted or provisional. Then we define a set of basic operations that change the status of beliefs and show how these operations can be used to model agents with different capacities. We also show how different operations of belief change described in the literature can be seen as special cases of our theory. (shrink)

We distinguish the set of explicit beliefs of a reasoner, his "belief base", from the beliefs that are merely implicit. Syntax-based belief change governed by the structure of the belief base and the ranking ("prioritization") of its elements is reconstructed with the help of an epistemic entrenchment relation in the style of Gärdenfors and Makinson. Though priorities are essentially different from entrenchments, distinguished relations of epistemic entrenchment may be obtained from prioritized belief bases by a number (...) of different constructions. An approximate reconstruction of syntax-based belief change is possible, which can be strengthened to a strict identity in some important special cases. A competitive interpretation and a minimal change interpretation of the basic idea of entrenchment are discussed. It is argued that entrenchment essentially involves multiple belief changes, i.e., changes by sets of sentences. (shrink)

This paper shows how propositional dynamic logic can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles (...) belief change as relation substitution, and we show that the update part of this logic is more expressive than either that of LCC or that of doxastic/epistemic PDL with a belief change modality. It is shown that the properties of knowledge and belief are preserved under any update, and that the logic is complete. © 2008 Springer-Verlag Berlin Heidelberg. (shrink)

Agents typically revise their beliefs when confronted with evidence that contradicts those beliefs, selecting from a number of possible revisions sufficient to reestablish consistency. In cases where an individual’s beliefs concern spatial relations, belief revision has been fruitfully treated as a decision about which features of an initially constructed spatial mental model to modify. A normative claim about belief revision maintains that agents should prefer minimal belief revisions. Yet recent studies have rebutted the preceding (...) claim, where minimality is understood to consist in modifying the position of the fewest objects, showing instead that reasoners prefer revisions that modify the position of an object x while retaining the position of an object y, when the agent’s new evidence is a relational statement of the form ‘xRy’. We here present cases where the preceding effect is reduced, and show an effect of minimality as measured by the number of initial premises preserved. (shrink)

In this brief note I show how to model conceptual change, logical learning, and revision of one's beliefs in response to conditional information such as indicative conditionals that do not express propositions.

Recent work has shown that in spite of these negative results, the question 'how to accept a conditional?' has a clear answer. Even if conditionals are not truth-carriers, they do have precise acceptability conditions. Nevertheless most epistemic models of conditionals do not provide acceptance conditions for iterated conditionals. One of the main goals of this essay is to provide a comprehensive account of the notion of epistemic conditionality covering all forms of iteration.

A range of formal models of human reasoning have been proposed in a number of fields such as philosophy, logic, artificial intelligence, computer science, psychology, cognitive science, etc.: various logics, probabilistic systems, belief revision systems, neural networks, among others. Now, it seems reasonable to require that formal models of human reasoning be empirically adequate if they are to be viewed as models of the phenomena in question. How are formal models of human reasoning typically put to empirical test? (...) One way to do so is to isolate a number of key principles of the system, and design experiments to gauge the extent to which participants do or do not follow them in reasoning tasks. Another way is to take relevant existing results and check whether a particular formal model predicts these results. The present investigation provides an illustration of the second kind of empirical testing by comparing two formal models for reasoning – namely the non-monotonic logic known as preferential logic; and a particular version of belief revision theories, screened belief revision – against the reasoning phenomenon known as belief bias in the psychology of reasoning literature: human reasoners typically seek to maintain the beliefs they already hold, and conversely to reject contradicting incoming information. The conclusion of our analysis will be that screened belief revision is more empirically adequate with respect to belief bias than preferential logic and non-monotonic logics in general, as what participants seem to be doing is above all a form of belief management on the basis of background knowledge. The upshot is thus that, while it may offer valuable insights into the nature of human reasoning, preferential logic is ultimately inadequate as a formal model of the phenomena in question. (shrink)

When an agent learns of an expert's credence in a proposition about which they are an expert, the agent should defer to the expert and adopt that credence as their own. This is a popular thought about how agents ought to respond to (ideal) experts. In a Bayesian framework, it is often modelled by endowing the agent with a set of priors that achieves this result. But this model faces a number of challenges, especially when applied to non-ideal agents (...) (who nevertheless interact with ideal experts). I outline these problems, and use them as desiderata for the development of a new model. Taking inspiration from Richard Jeffrey's development of Jeffrey conditioning, I develop a model in which expert reports are taken as exogenous constraints on the agent's posterior probabilities. I show how this model can handle a much wider class of expert reports (for example reports of conditional probabilities), and can be naturally extended to cover propositions for which the agent has no prior. (shrink)

This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For (...) the operator, both constructive definition and an axiomatic characterisation by representation theorems are given. (shrink)

We contrast Bonanno’s ‘Belief Revision in a Temporal Framework’ [15] with preference change and belief revision from the perspective of dynamic epistemic logic (DEL). For that, we extend the logic of communication and change of [11] with relational substitutions [8] for preference change, and show that this does not alter its properties. Next we move to a more constrained context where belief and knowledge can be defined from preferences [29; 14; 5; 7], prove completeness (...) of a very expressive logic of belief revision, and define a mechanism for updating belief revision models using a combination of action priority update [7] and preference substitution [8]. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 25.1 (2001) 177-180 [Access article in PDF] Book Review How to Defend Humane Ideals: Substitutes for Objectivity How to Defend Humane Ideals: Substitutes for Objectivity, by James R. Flynn; ix & 212 pp. Lincoln: University of Nebraska Press, 2000, $40.00. James Flynn's search for non-objective grounds for humane ideals opens with an admission that the author spent decades searching for an "ethical truth-test" by which to (...) measure ideals. This truth-test would constitute a "higher court of appeals," a nonpartisan judgment of right and wrong that would grant objectivity to the winning belief. This is the stance of Socrates and Kant. What Flynn came to realize was that the truth-tests he sampled proved to be contradictory, easily exploited, and ineffectual in convincing people of the tests' warrant. For many this collapse of ethical truth leads to relativism, and a concomitant tolerance of the values of others, however repellant one finds them. This is the stance of the postmodernists, those dedicated to "building bonfires to celebrate the demise of the Enlightenment" (p. 181). But Flynn deems the anti-truth position just as contradictory and exploitable as the truth-test position. Instead, he proposes an intermediate stance, short of objective truth but more than relativist assertion, an outlook that takes the best of truth, beauty, diversity, perfectibility, utilitarianism, and justice and casts them in a relation of trade-off and compromise.To reach this negotiation model of humaneness, Flynn must dispense with [End Page 177] three faulty beliefs. The first mistake is the objective one, that is, the reliance on ethical truth-tests (chapters 2-4). The problem lies in their grounding in "a theory of being that posits something beyond the physical universe... or that asserts that the physical universe contains something not revealed by science, such as the purposes of nature" (pp. 47-48). Plato has his Forms, Rousseau his nature, Moore his "moral goodness." The difficulty with these criteria is that, granted their existence, we know not how to apply them to human affairs. We may appeal to God to justify our actions, but in doing so "we tend to assume that God's overriding criterion of moral rectitude is similar to our own. The humane posit a benevolent God, the not so humane a stern God" (p. 72). In other words, such criteria beg the question of their use. Their transcendence of the world renders them eminently adaptable to various worldly designs, for example, when Kant reads into nature "whatever content he needs to get decisions in favor of his own principles" (p. 77).When ethical truth-tests fail in their implementation, the temptation is to reject ethical grounds altogether. Flynn terms this the "nihilist fallacy," the notion that if there is no extra-human ground for ethics, no ethical truth-test, then no ethic is justified. Flynn counters that "Even in the absence of a truth-test, people may internalize ideals and be deeply committed to them" (p. 9). They believe in those ideals not because they think they are true, but because they think they are right. Only those who believe that ethical beliefs are an epistemological matter assume that ideals must be shored up by evidence and proven to be correct. It is ironic, Flynn notes, that it is anti-epistemologists like Nietzsche who make this argument, claiming that ethical believers fail a truth-test when in fact those believers are not interested in truth-testing at all.The flip side of this nihilism is postmodernism, another ethical outlook Flynn rejects. Nihilists and postmodernists share an epistemological skepticism, treating putatively objective ideals as disguised power plays concocted to promote certain interests. They differ in how they direct that skepticism. For the Nietzschean nihilist, the interests are those of the herd and its institutions (like the Church), and so he counsels great geniuses to use lesser persons as means to their ends (pp. 127-33). For the postmodernist, the interests are those of the Western male, the naive empiricist, the imperialist, and so he counsels those privileged individuals to examine themselves... (shrink)

A range of formal models of human reasoning have been proposed in a number of fields such as philosophy, logic, artificial intelligence, computer science, psychology, cognitive science, etc.: various logics, probabilistic systems, belief revision systems, neural networks, among others. Now, it seems reasonable to require that formal models of human reasoning be empirically adequate if they are to be viewed as models of the phenomena in question. How are formal models of human reasoning typically put to empirical test? (...) One way to do so is to isolate a number of key principles of the system, and design experiments to gauge the extent to which participants do or do not follow them in reasoning tasks. Another way is to take relevant existing results and check whether a particular formal model predicts these results. The present investigation provides an illustration of the second kind of empirical testing by comparing two formal models for reasoning – namely the non-monotonic logic known as preferential logic; and a particular version of belief revision theories, screened belief revision – against the reasoning phenomenon known as belief bias in the psychology of reasoning literature: human reasoners typically seek to maintain the beliefs they already hold, and conversely to reject contradicting incoming information. The conclusion of our analysis will be that screened belief revision is more empirically adequate with respect to belief bias than preferential logic and non-monotonic logics in general, as what participants seem to be doing is above all a form of belief management on the basis of background knowledge. The upshot is thus that, while it may offer valuable insights into the nature of human reasoning, preferential logic is ultimately inadequate as a formal model of the phenomena in question. (shrink)

We present a model for first-order belief revision that is characterized by an underlying relevance-like relation and a background proof system. The model is extremely general in order to allow for a wide variety in these characterizing parameters. It allows some weakenings of beliefs which were initially implicit to become explicit and survive the revision process. The effects of revision are localized to the part of the theory that is influenced by the the new (...) information. Iterated revision in this model is handled trivially since the revision operator is constructive by definition. The usage of deductively limited proof systems permits an inconsistency tolerant model. The notion of a part of a theory capable of being influenced by new information (designed to accomodate the specific character of first-order languages) is shown to satisfy some intuitive and desirable properties. We show that for particular parametrizations, standard revision schemes can be embedded into our paradigm. (shrink)

Belief revision (BR) and truthlikeness (TL) emerged independently as two research programmes in formal methodology in the 1970s. A natural way of connecting BR and TL is to ask under what conditions the revision of a belief system by new input information leads the system towards the truth. It turns out that, for the AGM model of belief revision, the only safe case is the expansion of true beliefs by true input, but this (...) is not very interesting or realistic as a model of theory change in science. The new accounts of non-prioritized belief revision do not seem more promising in this respect, and the alternative BR account of updating by imaging leads to other problems. Still, positive results about increasing truthlikeness by belief revision may be sought by restricting attention to special kinds of theories. Another approach is to link truthlikeness to epistemic matters by an estimation function which calculates expected degrees of truthlikeness relative to evidence. Then we can study how the expected truthlikeness of a theory changes when probabilities are revised by conditionalization or imaging. Again, we can ask under what conditions such changes lead our best theories towards the truth. (shrink)

Isaac Levi's new book develops further his pioneering work in formal epistemology, focusing on the problem of belief contraction, or how rationally to relinquish old beliefs. Levi offers the most penetrating analysis to date of this key question in epistemology, offering a completely new solution and explaining its relation to his earlier proposals. He mounts an argument in favor of the thesis that contracting a state of belief by giving up specific beliefs is to be evaluated in terms (...) of the value of the information lost by doing so. The rationale aims to be thoroughly decision theoretic. Levi spells out his goals and shows that certain types of recommendations are obtained if one seeks to promote these goals. He compares his approach to his earlier account of inductive expansion. The recommendations are for "mild contractions." These are formally the same as the "severe withdrawals" considered by Pagnucco and Rott. The rationale, however, is different. A critical part of the book concerns the elaboration of these differences. The results are relevant to accounts of the conditions under which it is legitimate to cease believing and to accounts of conditionals. Mild Contraction will be of great interest to all specialists in belief revision theory and to many students of formal epistemology, philosophy of science, and pragmatism. (shrink)

Despite progress, gender gaps persist in mathematical and language-related fields, and gender stereotypes likely play a role. The current study examines the relations between parents’ gender-related beliefs and their adolescent child’s motivation and career aspirations through a survey of 172 parent-child dyads. Parents reported their gendered beliefs about ability in mathematics and language arts, as well as their prescriptive gender role beliefs. Students reported their expectancies and values in these two domains, as well as their career aspirations The results of (...) path models suggested that parents’ ability stereotypes about language boosted girls’ motivation for language arts, thereby nudging them away from STEM pathways. Girls’ career aspirations stemmed not only from their valuation of the corresponding domain, but also from their valuation of competing domains. Such findings highlight the need to consider multiple domains simultaneously in order to better capture the complexity of girls’ career decisions. For boys, parents’ language ability stereotypes were directly related to mathematical career aspirations. These results suggest that stereotypes that language arts is not for boys push them instead toward mathematics. Our study also highlighted the unique role of parental beliefs in traditional gender roles for boys’ motivation and career aspirations. Specifically, parents’ gender role stereotypes directly related to less interest in language arts only among boys. This highlights that research into gender gaps in female-dominated fields should consider stereotypes related to appropriate behavior and social roles for boys. (shrink)

ABSTRACTRational agents have consistent beliefs. Bayesianism is a theory of consistency for partial belief states. Rational agents also respond appropriately to experience. Dogmatism is a theory of how to respond appropriately to experience. Hence, Dogmatism and Bayesianism are theories of two very different aspects of rationality. It's surprising, then, that in recent years it has become common to claim that Dogmatism and Bayesianism are jointly inconsistent: how can two independently consistent theories with distinct subject matter be jointly inconsistent? In (...) this essay I argue that Bayesianism and Dogmatism are inconsistent only with the addition of a specific hypothesis about how the appropriate responses to perceptual experience are to be incorporated into the formal models of the Bayesian. That hypothesis isn't essential either to Bayesianism or to Dogmatism, and so Bayesianism and Dogmatism are jointly consistent. That leaves the matter of how experiences and credences are related, a... (shrink)

We approach the traditional problem of the relationship between opinion and truth, objects and appearances, from the standpoint and tools of logic of belief, combining an informal and technical approach. We describe and comment on some logics of individual concepts and modes of representation, and address the question of how to explain the possibility of a contradictory de re belief integrated with the corresponding non-contradictory de dicto belief. The QB logic is proposed, where the semantic problem is (...) resolved (1) by extending the framework and model domain with the domain of appearances, with a special S-accessibility relation among worlds, and with non-rigid interpretation of appearance names, as well as (2) redefining the concept of satisfaction (and truth), including the satisfaction of identity statements, by relativizing satisfaction to the difference between things and appearances and to the S-accessibility of different epistemic alternatives. In doing so, all worlds are classical within themselves, while inconsistency and incompleteness in beliefs stem from different ways of connecting (merging and separating) worlds in determining the satisfaction of a formula. (shrink)

The goal of this dissertation is to offer a practice-based account of intentionality. My aim is to examine what sort of practices agents have to engage in so as to count as talking and thinking about the way the world is – that is, what sort of practices count as representational. Representational practices answer to the way the world is: what is correct within such practices depends on the way things are, rather than on the attitudes of agents. An account (...) of representation must explain how such objective standards of correctness are introduced in human practices: one must explain how the world gets to have a say in what is correct in human discursive practices. Roughly, my proposal is that human discursive practices become responsive to the way things are by virtue of involving practical interactions with the world. The outcomes of these interactions depend on the way the world is and the evaluation of such outcomes contributes to determining which moves within the practice count as correct. Due to our practical engagement with the environment, thus, the world gets to constrain discursive practices. In order to flesh out my proposal, I develop a practice-based characterization of intentional or representational content. On this sort of approach, expressing intentional contents is seen as a matter of playing a certain role in relevant practices, rather than as a matter of engaging in some word-world relation. The expression of content, thus, is explained in terms of use. In particular, I adopt an inferentialist perspective, according to which discursive moves express contents because of their role in practices of giving and asking for reasons. I investigate how practical engagement with the environment introduces friction with the world in these practices of giving and asking for reasons. One of the main conclusions reached in the dissertation is that defeasibility is an essential feature of objective representational practices – so that attributions of representational correctness are revisable in an open-ended way. The discussion of defeasible reasoning – and of the way in which defeasibility shapes human representational practices – is a central point of this dissertation. (shrink)

Imprecise probabilities are often modelled with representors, or sets of probability functions. In the recent literature, two ways of interpreting representors have emerged as especially prominent: vagueness interpretations, according to which each probability function in the set represents how the agent's beliefs would be if any vagueness were precisified away; and comparativist interpretations, according to which the set represents those comparative confidence relations that are common to all probability functions therein. I argue that these interpretations have some important limitations. I (...) also propose an alternative—the functional interpretation—according to which representors are best interpreted by reference to the roles they play in the theories that make use of them. (shrink)

Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In (...) addition, we will give a complete characterization of that more general kind of revision and will show how permits to unify models of revision given by other authors. Alchourrón dedicó sus últimos años al análisis de la noción de condicionalización derrotable. Desarrolló un sistema formal que captura los aspectos esenciales de esta noción. Su definición de condicional revisable está dada en términos del operador de implicación estricta y un operador modal f el cual es interpretado en el nivel del lenguaje como una función de revisión. En este trabajo señalamos que la función de revisión subyacente es más general que la bien conocida función de revisión de AGM. Además, presentaremos una caracterización completa de una clase de revisión más general y mostraremos cómo nuestro modelo permite unificar los modelos de revisión propuestos por otros autores. (shrink)

Questions of evidence—including the idea, still central to what could be called informal epistemology, that our beliefs and claims are duly corrected by our encounters with autonomously resistant objects —are inevitably caught up in views of how beliefs, generally, are produced, maintained, and transformed. In recent years, substantially new accounts of these cognitive dynamics—and, with them, more or less novel conceptions of what we might mean by “beliefs”—have been emerging from various nonphilosophical fields as well as from within disciplinary epistemology. (...) Because of the distinctly reflexive nature of these developments—that is, new conceptions of concepts, revised beliefs about belief, invocations of evidence said to challenge the operation of evidence, quasi-logical refutations of the authority of logic, and so on—the deployment of positions and arguments becomes extremely difficult here, as does even the description of the relevant events in intellectual history. Indeed, since we are dealing here not merely with shifts of, as it is sometimes put, “vocabulary,” but, often enough, with clashes of profoundly divergent conceptual idiom and syntax, every major term and discursive move is potentially implicated in the problematic itself, and, thereby, open to radical questioning and liable to charges of question-begging.The aim of the present essay is twofold: first, to suggest the more general interest and significance, beyond the fields in which they are being developed, of these emerging reconceptions of belief; and, second, to frame that suggestion in an account which, since it cannot escape the rhetorical difficulties just mentioned, foregrounds them. A number of related themes—notably, symmetry, circularity, reciprocality, and ambivalence—recur throughout and, at various points, are drawn together in accord with the account itself. Barbara Herrnstein Smith is Braxton Craven Professor of Comparative Literature and English at Duke University, and director of its Center for Interdisciplinary Studies and Cultural Theory. Her current work examines contemporary models of cognition and communication. (shrink)